projects / ghc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2eca6e2) | patch
Do not emit a warning if the .haddock file is missing
authorJoachim Breitner <nomeata@debian.org>
Fri, 15 Jul 2022 14:03:35 +0000 (15:03 +0100)
committerIlias Tsitsimpis <iliastsi@debian.org>
Fri, 15 Jul 2022 14:03:35 +0000 (15:03 +0100)
commit98844e09549653d19546e0c6ccc54dfad0e84abf
tree60c17f7a2d83e0e6279b452d8b8ca7356ce19022tree | snapshot
parent2eca6e28763149850e2700a599ff189f257708d6commit | diff
Do not emit a warning if the .haddock file is missing

As it is quite common on Debian installations to install the -dev package
without the -doc package.

Gbp-Pq: Name no-missing-haddock-file-warning
utils/ghc-pkg/Main.hs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.